https://123dok.net/document/q7w7e6nd-induction-on-decision-trees.html