Description: Rearrangement of the join of 4 Hilbert lattice elements. (Contributed by NM, 15-Jun-2006) (New usage is discouraged.)