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.