Formal_Hall loading ...