Account for the result of optimization when adding constraints
Work in Progress. Nothing to see here. Move along.