Claim: Pi is a real number.
Label: SUPPORTS