A Practical Guide to the Invariant Calculus by