Natural Structures and Conditional Definitions — LessWrong