AGB variables and the Mira period–luminosity relation | Synapse