triunification

not defined yet