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