Remove another reference to subformulae