romeostevensit comments on Natural Structures and Conditional Definitions