Working update of PVS