'a'' ∧ ''b'', ''b''
   HOME
*