[Forwarded only because it has been a slow week -- normally, I don't really want "snake oil of the week" postings because, frankly, there is too much snake oil and most of it is uninteresting. This example is no exception -- there is nothing more amusing about this snake oil than most others. --Perry] (1) For Immediate Release; A Totally New Encryption System; Columbus, Ohio, December 20, 1999-For the last few years we have been working on a totally method of encrypting information. In the old context information was listed in a fixed or semi-fixed matrix. In a recent discovery by our founder, Dr. Gregory A. Hensley, we have a system that uses mathematically repeating functions to arrive at it's strength. The old systems were measured in bits (binary digits, or ones and zeros) the system we have created will be measured in megabytes. The minimum strength of this product is in the megabyte range and the upper limit knows no bounds. This product, expected to be released in the fourth quarter of 2000 will be as revolutionary as the light bulb. We are calling the product Lightpath(TM) , as it is lighting a pathway to the future. Contact Kevin W. Jones, 614-864-2097. G. A. HENSLEY Company Inc. Post Office Box 360806 Columbus, Ohio 43236 -- Stefan Kahrs in [Kah96] discusses the notion of completeness--programs which never go wrong can be type-checked--which complements Milner's notion of soundness--type-checked programs never go wrong [Mil78].