I can prove that the algorithm that proves non-deception really proves non-deception.
Pro tip: If you think you can prove me wrong, then your understanding is inconsistent.
Pro tip: If you think you can prove me wrong, then your understanding is inconsistent.
