Chris_Leong comments on Natural Structures and Conditional Definitions