paulfchristiano comments on Towards formalizing universality