Input: Mary persuaded to leave John.
Output: 0