The objection assumes the boundary requires direct comparison, but we can infer it indirectly from s...
This proposition has not been edited since the history system was added.