αρχείο Email: A shorter model theory.