Turning non-smooth points into rational points | Synapse