5
16
8
4
2
1
0
1
2
3
4
5
6
7
8
9
a is not null
x < 10
x is true
