Unit 5: Analysis through Definition