New Lithos Proofs