Email Record: Runtime Verification :