PetExLogo proofs 2PetExLogo proofs