https://9lib.org/document/y96dx7dy-does-raim-with-correct-exclusion-produce-unbiased-positions.html