contraprops

not defined yet