Projectible properties support inductive inference across time; similarity counting treats past and ...
This proposition has not been edited since the history system was added.