counterproposition

not defined yet