Note that in general we should arrange for each commit to produce a
working state.

Thanks,
Ludo’.