counterformulas