Taking a slightly different approach to corollaries, working with distribution functions directly.