I think the example gets bogged down in language features which obscures the conceptual idea. Hence I think the example would best be illustrated using pseudoc

I think the example gets bogged down in language features which obscures the conceptual idea. Hence I think the example would best be illustrated using pseudocode, which would perhaps motivate a meaningful discussion of how language features make certain patterns more or less useful, and perhaps, zooming out, certain designs more or less easy to reason about.