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