Harsanyi derives separability purely from individual rationality axioms (completeness, transitivity,...
This proposition has not been edited since the history system was added.