Discover your formulas
and abandon them
