Each definition should be substitutable for the term where it occurs.
Each definition should be substitutable for the term where it occurs.