REQUIREMENTS CHANGE UNTIL THEY DON'T

Summary from the TLDR Web Dev newsletter

Using formal methods to mathematically model system is really hard when requirements are constantly changing. While testing is easier for quickly adapting to shifting requirements, formal methods become valuable when a solution stabilizes and long-term maintenance is necessary. Successful features create a new, permanent requirement of making sure they continue to function the same as more features are added.