Input: John believes that Mary saw himself.
Output: 0