So your points are true and irrelevant.
We obviously use the term ‘irrelevant’ to mean different things.
We obviously use the term ‘irrelevant’ to mean different things.