subequalities

not defined yet