Email Record: Language proof and logic /