A1987dM comments on Destructive mathematics