Email Record: The clausal theory of types /