Kaj_Sotala comments on Backward Reasoning Over Decision Trees