add vl15 (proof of 6.21 and 7.2 not reviewed)