in the contrast ofin contrast to

pre: oracle add constraint
next: tensor products