Input: It came to John that it was so.
Output: 1