Get rid of `Counterterm` function