inappropriate reuse of heuristic-child-sorts