An example of self-fulfilling spurious proofs in UDT — AI Alignment Forum