not x False
x True
y 1