"... above example and the following code are equivalent."