Acknowledgements

Many people have contributed over the years to WHAT IF, and in the WHAT IF writeup and the WHAT IF www pages you will find all of them mentioned. WHAT_CHECK is one of the major modules of WHAT IF. WHAT_CHECK is the brain child of Rob Hooft, and even today, about ten years after he stopped working on the project more than 50% of the WHAT_CHECK source is his original code.