Edits on the implications section.