Isn't that what line 4 says?