John! You've just given the first account of Kan Extensions that I've managed to understand and make mine, thank you a bunch!