Boundedness of elliptic Calabi–Yau varieties with a rational section | Synapse