That pi bill never became law.

I would say their point still stands.

Whether the bill was passed is ultimately irrelevant.