Refine the constraints demo a bit. It works!