Rename week_1_premise.txt to week_1_premise.md