Kripke showed that water being XYZ is imaginable under a description yet impossible, since 'water' r...