FWIW this is what I use in similar situations, but @dilumaluthge is right that there’s no public API. One possibility would be to add a method for (+)(f::FormulaTerm, t::AbstractTerm) = f.rhs ~ f.rhs + t which does that. The lack of an API is worth opening an issue about and we’d certainly consider a PR with that change…