Displacement Equation Calculus