(...or was it the other way around?)
The utility I worked for used this algorithm to disprove the obvious. Example: Using this program, the probability of the sun rising tomorrow was calculated as 0.37.
Mike, you should include this formula in the next addition of your book, Electricity Comes From Walls c1995.