Proof: And the Difficulty of Meaning