not x False
x True
y 1
z 65536