the beginning of the pachet constraints