access to the secret file until it is certain of the user's identify. Thus, the authentication
test is a CHECK-BEFORE, and the error message with the exit is the HANDLE-BEFORE.
Note that, at this layer of code, there is not an opportunity for a CHECK-AFTER or a
HANDLE-AFTER to take place - if the program shows the secret file to an