If (L,<,⁻) is a bounded distributive lattice with negation function (resp. a De Morgan algebra), then (L⟨!⟨S⟩!⟩,<,⁻) constitutes also a bounded distributive lattice with negation function (resp. a De Morgan algebra); for every r∈L⟨!⟨S⟩!⟩ its negation ◌̅r∈L⟨!⟨S⟩!⟩ is defined by (◌̅r,s)=◌̅(r,s) for every s∈S.

On being opened, the wine was found to be undrinkably sour.

I waited until half an hour after Benson had gone on duty, and then I went on deck, passing through the conning-tower where Benson sat, and looking at the compass. It showed that our course was north by west--that is, one point west of north, which was, for our assumed position, about right.

I rubbed my hands with delight over my happy notion, and soliloquized aloud, What a joy there is in going about doing good actions.