made some progress with the bls proof