martinkunev comments on My impression of singular learning theory