Counting: cplex instructions