counterdeclarations