Email Record: Model-theoretic logics /