Wei Dai comments on Towards formalizing universality