begin
   (@ n1 <>[-]-n1)
 v (@ n1 <->[]-n1)
end