Different dimensions of proofs: Beauty
Different dimensions of proofs: Beauty is closed