clarified and commented binarylift