converse

not defined yet