Example 4.
Completion of Lattice 1