@ProfKinyon thanks for that anyway, I'm writing a talk on Turing completeness in odd places, so that will make an appearance