begin
n1:[]false;
n2:<>true;
(<><>true ) v (n2 & n1)
end