And what might this analogue We saw that modal logic a term is a rigid designator if I (x ai, where 'a stands for the term; so the parallel condition for the logic of belief is that I,(x ai, Tom is our man.