Talk:Automaton/@comment-25808351-20200629140349/@comment-39280634-20200629143817

These are better: