Nop done. 3 remaining.
MSize done. 2 remaining.
PGetOff done. 1 remaining.
It's official! The invariant is an invariant :)