This is used rarely and only at build-time, so we don't need to create it when instantiating the formula.