Binary algorithm
Lb(
) =
