Update examples and wording of abstract algebra in day 207