Kripke's normativity argument requires a fact that distinguishes correct from incorrect application,...