Proof of an External World · Study