Counting rational points on projective varieties | Synapse