Email Record: Nondeterminism and optimization /