If formal distinctness can coexist with real identity, then formal identity adds only an epistemic o...