Email Record: Formal methods in artificial intelligence /