When lowering a perm do not record fulfilled contraints in the first place, instead...