Sathirian Provisioning Reductions