Approximating rational points on surfaces | Synapse