formulae abstraction, revisions