Negative predications (e.g., 'not red') require truthmakers to avoid unintuitive consequences where ...
This proposition has not been edited since the history system was added.