Eliezer Yudkowsky comments on Destructive mathematics