Algorithmic formalization of FDT? — LessWrong