Stuart_Armstrong comments on Towards formalizing universality