improved formulae abstraction