The use-mention distinction is fundamental: discussing a map's properties differs categorically from...
This proposition has not been edited since the history system was added.