Remove already stable formulae.