Tobol_Kara_Proofs