The above 4 lines are fully duplicated below.