The bright end of the luminosity function of red sequence galaxies | Synapse