Formalise in-place updates.