any up to date proofs?

Also on your proofs is it possible you pinpoint the exact loc in the form of a dot as well as the coords.