Invocation of constraints is now working