A small geometry clarification: three exact range spheres can intersect in two points, rather than a single point. A known altitude or another physical constraint can select a solution; the receiver clock bias is a separate unknown. Keeping those two issues distinct would make the fourth-satellite explanation more precise.