Email Record: Computational synthetic geometry /