SMS: Algebraic patching