updating proof_show branch