6.2. Computational Representation of ULVF