We need a law to officially define 𝜋 as exactly integer 3.

Oh, wait…