subequality

not defined yet