Unlearn Formulae