TheOtherDave comments on Math is Subjunctively Objective