Kemeny-Oppenheim reduction is defined by formal structural relations, not by ontological commitments...
This proposition has not been edited since the history system was added.