Talk:Automaton/@comment-32432735-20170618184039/@comment-26819409-20170623220845

Who's JK? I hope he/she gets better.