Description of a type of computer program which functions as a conceptual stimulant to augment the imagination of the researcher. The computer input is a class of instance-algorithms whose elements are sets. The computer generates a particular instance-algorithm and several of its elements. The researcher must evaluate results and formulate another class of instance-algorithms to be explored. By specifying only classes whose elements are sets, the researcher allows the computer a freedom to explore areas that initially may not seem interesting--thus creating the possibility of discovering unintuitive properties of the sets. The technique is applied to operational correspondence and semi-ordered systems.