Join-semilattice loading ...