adding BDHE assumptions