Also don’t worry about me teaching logic; being the University of St Andrews, we obviously have actual logicians to do that. Where did you do your logic training by the way?