Email Record: Deontic Logic in Computer Science :