[see also: term
This can be translated into the language of differential forms.
In geometric language, the hypothesis is that F is......; part of the conclusion is that F satisfies......