Least-upper-bound_principle loading ...