coassumed

not defined yet