[rowanG077]

What are these important second-order effects? As far as I know it simply only syntax. There is nothing you can't express semantically in one and not the other.

[simon_o]

If you know nothing, maybe don't comment?