There seems to be a small mistake in the comment in which it should be different name -> returns true.  <!--session: 1603168272064-9d86bc69-9506-4e93-91c7-d4e5ff2c8047-->