Reprove nearly all proven mwov lemmata for mwov2.