x : = true;
y : = false;
x and y
