Proof's Spaces