Russell's theory of descriptions is a way of logically analyzing sentences containing definite descriptions without presupposing the existence of an object satisfying the description. According to the theory, a statement like "There is a man to my left" should be analyzed into: "There is some "x" such that "x" is a man and "x" is to my left, and for any "y", if "y" is a man and "y" is to my left, "y" is identical to "x"". If the statement is true, "x" refers to the man to my left.