pnonempty inonempty