Directed_supremum loading ...