Logical possibilities (like 'round squares are impossible') aren't external constraints but reflect ...
This proposition has not been edited since the history system was added.