working on Jacobian-style constraints