Counter-Factual Definiteness