contraprop

not defined yet