provably fair algorithm