Estlund's epistemic proceduralism and Christiano's work both show that democratic outcomes can be sy...