Alternatives to Cisco catalyst 9k switches?

Cisco recently announced their new Catalyst 9k series of switches (9300, 9400, 9500), and seemed to be making a big deal of them at Cisco live and on their website.

I'm wondering what products that competitors (Huawei, Aruba, Juniper) sell, that directly compete with each of these 3 products? i.e. what Huawai switch directly competes with the Catalyst 9300, etc.

I've done a little bit of research already, and here's what I've found, but I'm not 100% sure so I was hoping someone could check this for me:

Cisco Catalyst 9300: For Huawei seems like the S5720-HI is the closest match
Juniper seems like the EX4300 is the closest match
Not sure about Aruba.

Cisco Catalyst 9400: Huawei: S7700
Aruba: 5400R
For Juniper it seems like there's a product gap.

Cisco Catalyst 9500: This one was most difficult for me to find, but I think the Juniper EX4600 is closest. Not sure about the other vendors.

Does this seem right to r/networking? Please help me fill in the gaps. Thanks in advance.