Luminosity Function Constraints on the Evolution of Massive Red Galaxies sincez∼ 0.9 | Synapse