Title: Solid Mensuration with Proofs