quadrivalently
not defined yet