more work on branchbound. sigh.