Guide to Verifying