DEVV Calculus