public function dataProviderForCDF() { return [[0, 0.6, 0.4], [1, 0.6, 1], [0, 0.3, 0.7], [1, 0.3, 1], [-1, 0.5, 0]]; }