https://1library.org/document/q06pm5vq-turing-machines-as-clocks-rulers-and-randomizers.html