Checkpointing after the first mutation
Last commit before leaving