Input: The senators be certain that the president is telling a lie.
Output: 0