Automata, Representations, And Proofs