let exponential : O R := prob sample x from prob S in ((0 - Ln x)%R).