Email Record: Proof theory and intuitionistc systems