The definition smuggles in constraints: calling something 'logically impossible' to avoid the coerci...
This proposition has not been edited since the history system was added.