Input: We proved Smith conclusively to the authorities to be the thief.
Output: 1