[jules]

So?

(By the way, they do map to different tests if you view it as a statement in constructive logic, rather than geometry.)

[hyperpape]

They don't map to distinct empirical tests.

And that's the basic requirement for a semantic theory: map distinct statements to distinct contents.