Gravar-mail: Analogy, explanation, and proof