Birkhoff's_HSP_theorem loading ...