Motivated by Popescu's example of hidden nonlocality [Phys. Rev. Lett.
74, 2619 (1995)], we elaborate on the conjecture that quantum states
that are intuitively nonlocal, i.e., entangled, do not admit a local c
ausal hidden-variables model. We exhibit quantum states which either (
i) are nontrivial counterexamples to this conjecture or (ii) possess a
new kind of more deeply hidden irreducible nonlocality. Moreover, we
propose a nonlocality complexity classification scheme suggested by th
e latter possibility. Furthermore, we show that Werner's [Phys. Rev. A
40, 4277 (1989)] (and similar) hidden-variables models can be extende
d to an important class of generalized observables. Finally, a result
of Fine [Phys. Rev. Lett. 48, 291 (1982)] on the equivalence of stocha
stic and deterministic hidden variables is generalized to causal model
s.