Input: He is the happiest that that he has ever been is believed.
Output: 0