The bright end of the galaxy luminosity function at z≃7: before the onset of mass quenching? | Synapse