Shmi comments on Natural Structures and Conditional Definitions