Eight derivations of Bell’s inequality are given. First a simple and concrete derivation is given drawing on the full strength of the two hypotheses of locality and hidden variables. Two attempts at deriving Bell’s inequality without locality are made. They fail, but give valuable insight into the form which nonlocality must take in quantum physics. Arguments are given against this form of nonlocality. Ontological ideas which allow separation, realism, and locality in quantum mechanics (QM) are indicated. In the following five derivations, a number of variants of the assumption of hidden variables are tried. Among the insights which these derivations give rise to are: (1) Particles cannot be assumed to have spin or polarisation values for as much as one fixed direction. (2) The classical picture of electromagnetic radiation is incompatible with QM. (3) Heisenberg’s idea of potentiality in elementary particles is incompatible with QM. (4) There is a weakest form of hidden variables, called realisability, which is sufficient to yield Bell’s inequality. (5) Quantum states cannot be identified with physical states. The mathematical problem of the integration of quantum states into physical states is nontrivial.