Input: John must not do have eaten.
Output: 0