4.9.3. Success conditions