more work on shift_to_menv, and a paragraph on why it should be true

this will have to merge onto the master branch at some point, but I
don't want to ruin anyone's build..