! Clarification of definitions.
The definitions are clarified.