Input: He can simply not have been working.
Output: 1