Input: Every man has ever beaten the centaur.
Output: 0