Proof, creation and freedom