Email Record: Two applications of logic to mathematics /