Shari's proofs