A1987dM comments on Math is Subjunctively Objective