Remove names of deleted formulae