Contra Heighn Contra Me Contra Functional Decision Theory — LessWrong