Input: A proof was given that the claim that John had lied had been made.
Output: 1