coadunation

not defined yet