Self-Verification Theory