Verifying Existing Conditions