The problem of quantifying in arises when one binds, from outside, a variable occurring inside the scope of an intensional expression (e.g. "it is possible that", "it is necessary that", "it is known that", Bill believes that"). The problem concerns the meaning of such locutions.