Halliday & Matthiessen (2014: 84):
The general principle of exhaustiveness means that everything in the wording has some function at every rank. But not everything has a function in every dimension of structure; for example, some parts of the clause (e.g. interpersonal Adjuncts such as perhaps and textual Adjuncts such as however) play no rôle in the clause as representation.