subunequal
not defined yet