subcontrariety

not defined yet