Proof of an external world