A Logical Proof on how Order and Causality are related — LessWrong