Dialogue with a Proof System