Oskar Mathiasen comments on Contra Heighn Contra Me Contra Heighn Contra Me Contra Functional Decision Theory