Simplify recovery of deleted formulae