intro-4: update description of `all`

This feels to better reflect the differences between `any` and `all`.
Merge pull request #101 from yoshuawuyts/patch-1

intro-4: update description of `all`