Envoyer par SMS: Reflections on generating (disjunctive) cuts