Input: John had an error in the proof he presented.
Output: 1