Seems like we should leave the previous example. I'd rather not encourage people to differentiate vectors using the ReferenceFrame.dt method.