Input: John is believed to be certain by everyone that Fred is crazy.
Output: 0