Why does the above derivation in #12 assuming a complete lattice?
What went wrong?