I left out a bit of the implied procedure that goes with reciting this. You're supposed to truth-check those two lines as you say them, and stop if they aren't true, with the understanding that (as a prior probability) they usually will be.