Start work on mwov_len_calcs_nov, prove some basic lemmata.