Turn on BLS75 theorem 7