the last example is translated but improperly