Rename week_1_premise to week_1_premise.txt