More revisions to the definitions slides