Even with temporal indices, 'the object is F at t1' and 'the object is not-F at t1' are genuine cont...
This proposition has not been edited since the history system was added.