It is high time to take the ‘must’ seriously when considering what entities must be taken to be values of the bound variables in order for the theory to be true. The resulting criteria would not be endorsed by Quine. But, as long as they tie ontological commitment to the values of the bound variables of theories couched within first-order logic, they are still Quinean in spirit; they are still versions of the quantifier account of ontological commitment.