Email Record: A practical guide to the invariant calculus /