Bring NotionsOfNI to extended machine.
Checkpoint on notions of NI.