In the video, they do talk about tooling, IDEs, auto-completion, libraries, dynamic types, and so on. Refactoring tools come up repeatedly.

So you can build up a richer context to the reasoning.

There's even discussion about reasoning about systems made from components running on different machines, which is not far from what this Derek chap responds with as his perceived solution.

Its not all tightly packed into a sound-bite.