Makes more sense than the time Indiana tried to define pi as 3.2. The only reason it didn't was because a professor from Purdue was in Indianapolis on unrelated business and convinced Indiana's senate to table the bill.
Of course, we know today that such a thing couldn't happen since Indiana's legislature would laugh at the woke lib and pass it just to trigger him.