I actually think that’s the key to building a system that everyone can reason about. The goal is to have these isolated “modules” where stuff is heavily interc

I actually think that’s the key to building a system that everyone can reason about. The goal is to have these isolated “modules” where stuff is heavily interconnected, and the connections between modules are well-defined protocols. Then people know the common denominator of what’s possible and build with that. Meanwhile, you can prove things about the behavior of a module and uss the isolation between modules to prove various properties about the whole system.