Although proactive and retroactive interference are commonly used in the description of memory errors, a mathematical formulation apparently remains to be explicitly written down, eg: Notice that the ...