DaVeTaL and VaL