Orthodox quantum mechanics includes the principle that an observable of a system possesses a well-defined value if and only if the presence of that value in the system is certain to be confirmed on measurement. Modal interpretations reject the controversial ‘only if’ half of this principle to secure definite outcomes for quantum measurements that leave the apparatus entangled with the object it has measured. However, using a result that turns on the construction of a Kochen–Specker contradiction, I argue that modal interpretations cannot deliver a metaphysically tenable conception of properties in quantum mechanics unless they also abandon the less controversial ‘if’ half of the orthodox principle.