Mitchell_Porter comments on Many-worlds versus discrete knowledge