subequal
not defined yet