---
| 0 |
17. No y exist. i.e. |---|
| 0 |
---
---
| |
18. Some y are x'. i.e. |---|
| 1 |
---