Quadratic points on modular curves | Synapse