Claim: Pi's decimal representation has an end.
Label: REFUTES