1 definition by p!=np