Edits after proofreading. Elaborated where needed