MrMind comments on Destructive mathematics