ternariant

not defined yet