Working on an LP formulation for general rules.