Formal_hall loading ...