-------
| | 0 |
14. All y' are x'. i.e. |---|---|
| | 1 |
-------
-------
| | |
15. Some y' exist. i.e. |---|-1-|
| | |
-------