Strict_total_order loading ...