A positive proportion of monic odd-degree hyperelliptic curves of genus g 4 have no unexpected quadratic points | Synapse