Add vexity checks to constraints
dual variables probably work