proveThis() to use prove builder