The challenge of teaching The Intuitionist