❘ ❘ ❘ ❘ ❘      p ∙ q = p
      p ∙ q = q      :. p = q