Gravar e-mail: A Logical Foundation for Environment Classifiers