Growth requires change!

in For_All