Email Record: An introduction to deductive logic