[Teckla]

All those abstractions are necessary in order to do software engineering of real-world systems at scale.

No, they're not.