conversely

not defined yet