counterextensions