Change: Verifier now verifies in sequence