The distinction between 'use' and 'mention' presupposes phonology is decorative; but phonology may p...
This proposition has not been edited since the history system was added.