Did we want to have a default time variable? It's almost always going to be Symbol('t'), and I think it would be nicer to not have to enter it every time.