Comment by empiricus

(also you receive the signal from all satellites at the same time, on the same freq, and some random reflections. and then you need to extract independent streams of bits for each satellite, each with its own nanosecond timestamp for receive time)