Halliday & Matthiessen (1999: 447n):
In terms of our model of a stratified metalanguage, we can see that taking the categories of predicate logic (or any other logical systems) to be linguistic ones constitutes a stratal slippage: categories from the level of representation in the metalanguage are imported into the theoretical account of the object language.