Input: A proof that God exist does.
Output: 0