Title: Automata Reasoning ***Replacement*** Disk