Internal Verification (2)