Text this: Deep mixing in globular-cluster red giants /