Remove some unused formulae.