[A] calculus (plural calculi) may refer to any method or system of calculation guided by the symbolic manipulation of expressions.