Law of Automata: Valid (Explicit)