In case you were looking for all the names — here they are, with mugs: