Запис е-пошти: Counting, demonstrating, formalizing