begin
A(!N0 v !N1)
end