proveniendarum