Email Record: Introduction to annotated logics