Well-ordering_property loading ...