We even go one step further in forgetting, and preserve only the input-output behavior of automata and circuits Mikl´os Bartha Proof.