added equality for calculus