converses
not defined yet