> Just because it's easy to derive doesn't mean it's immediately obvious is what I was responding to. My point is this -- there is no derivation happening ther

> Just because it's easy to derive doesn't mean it's immediately obvious is what I was responding to. My point is this -- there is no derivation happening there. If it was pedantic, obvious and simple to you as you claim, I wonder why you claimed that it was a derivation. To you the distinction between a definition and a derivation might be a pedantic one, I have doubts on whether that is an universal or even an useful position to have.