XPROVE, v.t. prov.