François solved the "tumor" problem by using an analogy with the "general and fortress" problem. In doing this, François realized that "tumor" corresponds to "fortress," "radiation" corresponds to "attacking army," and so on. The process of determining these correspondences is called:.