Text this: Computational synthetic geometry /