Quantum mechanics is compatible with counterfactual definiteness