A hierarchical abstract system requires lower-level systems to guarantee invariants that upper-level systems can rely on.

“it becomes really, really difficult to effectively the fundamental constraint that you want for like a hierarchical abstracted system is that the lower systems guarantee some invariant that the upper systems can actually guarantee.”