Analysis and Verification of Theory