Explicit formula requirements