Reasoning that compares two objects or situations to draw conclusions about previously unknown properties of one of them has traditionally been taken to be ampliative and probabilistic. I propose that it is apodeictic reasoning from a premise about isomorphic structures that is often uncertain, but which we may have good reasons to believe. I characterize the structures and their isomorphism, describe patterns of reasoning appropriate to them, and discuss some complications not immediately obvious.