Gravar e-mail: A logical analysis of T cell activation and anergy