counterdeclaration

not defined yet