En la página 35 de "Referencia Esencial de Python" de David Beazley, primero declara:

Para datos inmutables, como cadenas, el intérprete comparte agresivamente los objetos entre diferentes partes del programa.

Sin embargo, más adelante en la misma página, afirma

Para objetos inmutables como números y cadenas, esta asignación crea efectivamente una copia.

¿Pero no es esto una contradicción? Por un lado, él está diciendo que son compartidos, pero luego dice que están copiados.