WES-Calculus