Great, Christopher!

Now someone please tackle Puzzle 157, because this is where we start understanding left Kan extensions!