[ not: “explicitely''
Explicitly, we have the formula......
We have not required f to be......, and we shall not do so except when explicitly stated.
The semigroup F can be explicitly determined.
Note that we explicitly exclude ∞ from the values of a simple function.