Further Definitions