Appendix A Multiway trees and optimal explanation sizes, and the edges from a node to its children are associated to the possible outcomes of τ