Title: Adding Proofs to Conversion