In normal human arithmetic, it's equivalent to saying something like "7+5= 12" and remembering the "+5" so you can undo it later.