coassuming

not defined yet