This looks self-verifying. Am I missing something?