And–or_tree loading ...