subcontrary
not defined yet