5.2 Stability Checking