Rowan Garnier and John Taylor have extensive experience of teaching undergraduate mathematics at colleges and universities in the British and American systems. They have developed and taught courses for a variety of non-specialists and have established reputations for presenting rigorous mathematical concepts in a manner which is accessible to this audience. Their current research interests include diagrammatic reasoning and its use in rigorous software modelling.