Manual Verification: