. . . "At step 216 a mathematical model is formed, relating u to x, where u is a vector of ui and x is a vector of the updates to the a-priori values of position, common-mode error, and absolute time of reception:" .