Input: Fred can well imagine Joe getting fatter, the more he eats.
Output: 1