I don't understand this assertion :/