Dichotomic search
Up through the branch combinator
Update README