add vl27 (no proofs reviewed yet)