A Practical Guide to the Invariant Calculus door