counterformula

not defined yet