Email Record: Runtime verification :