Petter comments on Acausal trade barriers

[Petter]

Then the entire result of the modification is tautologically true, right?

[Stuart_Armstrong]

All of maths is tautologically true, so I’m not sure what you’re arguing.