Pi_is_exactly_3