Well-order loading ...