Thinking in terms of proofs — what the article mentions as properties and invariants — is what’s critical for writing correct code. This doesn’t necessarily depend on DSA knowledge, but it sure helps in developing the understanding. Likewise, writing code that scales performantly relies on an understanding of asymptotic and amortized runtime, which DSA provides the practical examples of.