Carbon-rich giants in the HR diagram and their luminosity function | Synapse