Don’t worry, I’m tired of these discussions too. I’ve had them too many times over the past years. We obviously use different definitions of the word ‘optional’ and that’s fine. Let’s just leave it at that.