add vl25 (proof of 10.12 not reviewed)