Before revision: Example: If something is an "apple", then no proper subpart of that thing is an "apple".
After revision: For example, if something is an "apple", then no proper subpart of that thing is an "apple".