#8758 (39)
<tom_> do you agree that PI > 3
<buz-> no