Input: John had an error in the proof Sarah presented.
Output: 0