Imagine two receivers on the ground tracking two satellites simultaneously. By differencing the measurements between the satellites and the receivers, Bernese can mathematically eliminate the clock errors of both the satellites and the receivers.