coassumes

not defined yet