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