I don't understand this assertion