Update & removal pseudocode