Revert "Verification over."

This reverts commit a22de7b9e373e15046bb935258901e063e4139ee.