Counter-factual definiteness