Разве строки Python не неизменяемы? Тогда почему работает a + «» + b?

Насколько я понимаю, строки Python неизменяемы.

Я попробовал следующий код:

a = "Dog"
b = "eats"
c = "treats"

print a, b, c
# Dog eats treats

print a + " " + b + " " + c
# Dog eats treats

print a
# Dog

a = a + " " + b + " " + c
print a
# Dog eats treats
# !!!

Разве Python не должен был предотвратить присвоение? Я, наверное, что-то упускаю.

Есть идеи?