Needs a `default_formula`.