Added a quick lemma about models being closed under tree-unfolding and removal of unreachable states.
I have added some standard definitions (like the satisfaction
relation) to the section on first-order eremic logic. I have also
added a new file, trans.tex, that details how to translate from a nice
fragment of FOL to QEL.