Example 3e. VL and related concepts:
Z-quadruple of VL