make \Mid a lot more powerful
add remaining proofs of vl19 and vl20