Cafélitten har fået elitesmiley

Fødevarestyrelsen har udviklet en så kompleks og detaljeret matematisk formel for, hvordan elitesmileyen opnås, at man ofte er nødt til at skrive den op på en tavle, for at forstå formlens fulde sammenhæng:

Et formelt bevis for hvordan summen af fire glade smileyer er ækvivalent med én glad smiley med bånd er endnu ikke fundet. Kompleksiteten i at finde sådan et bevis anses af mange for at være lig den i de syv Millennium Prize Problems.