7. Computational Implementation of ULVF