Formeln hvilar ännu idag