add vl21 (proof of 8.16 not reviewed)