orthogonality
not defined yet