first preferential constraint