coassume

not defined yet