Line 8 makes line 7 somewhat redundant.