Added a proof that the DFA that accepts every string is, in fact, the DFA that accepts every string and that the DFA that accepts no strings really does accept no strings (i.e. that if it accepted a string you could derive \bot