drethelin comments on Is math subjective?