starting decision tree formalization