3744 /* and the Verifier */