added a few comments to the bls proof