metaphrs Issue 1 | Page 28

                                    ∃ p ∈ P : p ≠ p'   issue issue 01 01 | zaw | Chen lin Yi htoo An