Which identity differs between if locked no entry / if unlocked entry?Contradiction and the Eight ConditionsSubjectLengthConditionPredicate name