Email Record: A simple method of writing traverse specifications.