quadrivalence

not defined yet