Let
a
and
b
be definable parameters or constants. And let insertion be the first update method you program.