Gravar-mail: Comparing Sense and Denotation in Bilateralist Proof Systems for Proofs and Refutations