But the features are not arbitrary. The vast majority of features are common among many applications, and a template formal spec can be built to satisfy those f

But the features are not arbitrary. The vast majority of features are common among many applications, and a template formal spec can be built to satisfy those features. Once formal spec of the building blocks is created, there will only be the small portion of unique code that needs a unique formal spec.