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