Gravar email: Theory and practice of computation