Ruby version of PVS 2.0