Partial proof that msni -> ssni

Missing only symmetry cases
I'm already convinced that this holds, so I'll add it to the paper