([] <> ((!np_) || (!isactive)))