that is worked out in full formal detail. This is applied to linguistic phenomena that