Normalerweise ist das Formalisieren einer Theorie und das in dieser Tätigkeit zum Ausdruck kommende Streben nach einer möglichst präzisen Fassung der Theorie kein Selbstzweck.
Vielfach erfolgen gerade interne Projektanträge nicht formalisiert und ungefiltert, so dass eigentlich nicht von einem Antrag gesprochen werden kann.