Apparent contradictions between Kripkean and gradual-replacement conclusions dissolve once we distin...