adding BLS assumptions