β-redex comments on Can a finite physical device be Turing equivalent?