Must we quantify into opaque contexts?