Removing conditions needn't eliminate all conditions; abstract knowledge may target invariant featur...
This proposition has not been edited since the history system was added.