These need to be declared as `option`s in this formula.