Verification of Local Forms Verification of Local Forms