Stenocactus is a genus of northern and central Mexican cacti of around 10 species related to Ferocactus.
Sometimes called "Living Stones".
Mammillaria is one of the larger genera in the Cactus family, and one of the most variable.
There are about 100 succulent Senecios.
Thankfully the hall has a high ceiling.