High Klassified
Law of Automata: Valid