H3: any = k3