constraints: more explaining what's going wrong.