Alex Vermillion comments on Backward Reasoning Over Decision Trees