https://pvillage.org/archives/5876
Is ETM co Turing recognizable?