All of the atom \sqsubseteq (atom \box atom) and the first of (atom \box atom) \sqsubseteq atom