This includes - [x] The expression of a variable can be changed - [ ] The name of a variable can be changed (in this case, all occurences in other expressions should be changed to the new name, as well)
This includes