A geometric illustration of ambiguity resolution in GPS theory and a Bayesian approach.