ABA and Account Schema Verification