Incidentally, it always seemed to me to be obvious that if Quine and the idea of 'notional belief' were formally correct, then there would be a parallel way of treating quantified modal logic, free of formal objection, regardless of whether the latter is philosophically objectionable.