Input: The proof that this set is recursive is difficult.
Output: 1