By the time Church came to propound an intensional logic of his own, he perhaps appreciated that quantification into modal contexts could not after all be legitimized simply by limiting the thus quantified vari ables to intensional values.