[takeWhile-derivation.png]