Formal Field configuration. Requirements Auto-outlined, Test Cases named by the user.