Babai might be working with HKZ