Different dimensions of proofs: Beauty is closed