Hard disagree with the initial assumption: Abstractions do not make a system simpler.

Note: I would have added usually but I really do mean always.

the thing about abstractions is that nothing implies that they aren’t leaky abstractions, which may be worse than no abstraction for future bug hunters