counterextension

not defined yet