these are the two points. Gherking addresses them.

I would write more why requirements have to be formalized and tested. What benefits does it give. It's not clear that to stay up to date a company has to formalize requirements and test them