add proverc