| No | Word | Definition |
| 1 |  |
The absolute value of a |
| 2 |  |
There exist an x such that p(x) is satisfied |
| 3 | WLOG | Without loss of generality |
| No | Word | Definition |
| 1 | |
The absolute value of a |
| 2 | |
There exist an x such that p(x) is satisfied |
| 3 | WLOG | Without loss of generality |