Revised Intro to NIDM