GPS proofs. Back