Heaps of new formulae and better organised formulae at that