Text this: Pseudo basic steps: bound improvement guarantees from Lagrangian decomposition in convex disjunctive programming