Richard_Kennaway comments on Natural Structures and Conditional Definitions