: (x| 2 7)
-> 5

: (x| 2 7 1)
-> 4