Input: It is that Bill is honest that John believes.
Output: 0