Edith: I could not do the same encoding when the constraint is just "be above beta". The problem is that for instance, it allows two w(m) to be in the same set.