lavalamp comments on Is math subjective?