coevally

not defined yet