( IF (SuccessorCombination=KeyCombination) THEN ((lock=open) AND (LockCombination = SuccessorCombination)) OR (IF ( LockCombination=KeyCombination ) THEN (lock=open)))