No need for same() here.