not(false) := true;
not(true) := false;