diagonality
not defined yet