counterdefinitions