Input: I would prefer that he have not finished.
Output: 0