counterextend

not defined yet