an expensively irrelevant gloss