But I believe the point is: if you were writing HTML by hand, you would never have written the above.