Least-upper-bound_property loading ...