Make BoolTree do something that's not completely the wrong algorithm.