These results leave open the basic case k=ω.
Conjecture 2 of [KH], to the effect that [= meaning that] there is no relation P with E(P)=1, still remains open.