abramdemski comments on Turing-Complete vs Turing-Universal