A semester duty in PVS