Email Record: Intuitionism and proof theory :