Email Record: Proofs & theories :