Mixed-Strategy Ratifiability Implies CDT=EDT — LessWrong