Email Record: First-Order Programming Theories /