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