Ah yes, you posted in garden. org as well. When googled, the only place ive seen it is http://ksucculents.blogspot.com/2018/05/c112-28-crassula-purple-light.html I can only guess, that that would be the origin of the plant, or at least the name. Meaning the ID is on point, but by that source only, correct? In the meantime, ill look it up on various sites containing crassula info...

Aloe and relatives had a re- classification recently. New genera are Aloe" aristaloe gonialoe aloedendron kumara aloiampelos and from haworthia haworthiopsis tulista Gasteria and astoloba are intact...

1st = Kalanchoe fedchenkoi (sp?) 2nd = Gasteria (maybe green ice)

I don’t know what the first one is but I believe the 2nd is a Graptosedum Blue giant and the 3rd i think is a Sedeveria Pink Granite. I have that same 2nd succulent and spent forever trying to identify. I’m still not sure if I’m right!