>Software that doesn't need new abstractions is also already existing

This isn't true due to the exponential growth of how many ways you can compose existing abstractions. The chance that a specific permutation will have existing software is small.