Spare Automata - Proxy Complete