It was in my paper that I first objcted to quantifying into modal contexts, and it was in his review of it that Church proposed the remedy of limiting the variables thus quantified to intensional values.