A priori entailment may be required for reduction claims; without it, 'water=H2O' remains a continge...
This proposition has not been edited since the history system was added.