public function dataProviderForCDF() { return [[1, 1, 1, 0.5], [2, 1, 1, 0.667], [4, 2, 3, 0.889]]; }