Knowledge of X at time T1 differs from knowledge of X at time T2 if X's truth-value changes between ...
This proposition has not been edited since the history system was added.