Include a client in proofs
changes