Multivariable Calculus with Theory