begin
 <>(n1 & (<>n1) & ([]<>n1))
end