Tani and Karol Proofs