counterformulae