The entire family of hidden variables theories, containing inequalities of the Bell type, has recently been refuted experimentally. However, there is confusion as to what exactly this proves. Some claim that realism has been refuted, others that determinism is definitely out, and still others that the loser is the conjunction of the EPR criterion of reality and the classical principle of separability or locality. The aim of this paper is to clarify some of the key concepts involved in order to help make a decision among these alternatives.