Mention Turing-completeness (or lack thereof)