Comments by PVS