LS_Proofs