Improve wording in Meaningful abstraction section.