This is John Britton, not Jeff Lawson, but an example of the live coding. Epic demo: https://www.youtube.com/watch?v=-VuXIgp9S7o