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