Essential_infimum_and_essential_supremum loading ...