Formalized MSNI, time to prove something about it