Unless the password is entered correctly, the system will remain locked. The system is not locked, which means the password must have been entered correctly. Which one of the following most closely parallels the reasoning used in the above argument?