I've just spent 20 minutes listening to a conversation about John Carol. Did you know...