counterexpostulation

not defined yet