Added an example for forAll (String).