It would make sense to have an example DAEProblem, but I can’t find any tutorial on a symbolic DAEProblem, just a modelingtoolkitize-based DAEProblem… It could also make sense to add it directly in the ODESystem docstring, to make it clear that it can be used for DAESystems as well: