tus   | English          | Vulgate  |
o---------o---------o---------o----------o------------------o----------o
|         |       x = 1 1 0 0 |          |                  |          |
|         |       y = 1 0 1 0 |          |                  |          |
o---------o---------o---------o----------o------------------o----------o
|         |         |         |          |                  |          |
| f_0     | f_0000  | 0 0 0 0 |    ()    | false            |    0     |
|         |         |         |     