I think this is consistent with dsolve, which doesn't use dummies.