Shahar edit: put in negative distribution function