Character-level truth may be *about* expressions, but it still encodes genuine constraints on what p...
This proposition has not been edited since the history system was added.