johnswentworth comments on Computational irreducibility challenges the simulation hypothesis