It'd be nice to have the ability to remove previously-added constraints and try to resolve the problem again