provably fair systems