Commit before generalization of S2 second case