History shows empirically successful theories with incompatible structures (Ptolemy vs. Copernicus, ...
This proposition has not been edited since the history system was added.