Input: There was an error in the proof Johns presented.
Output: 1