Input: It struck John that it was so.
Output: 1