begin
N0;
<>( N0 & ((<>true) & ([] <>N0:[]N0)))
end