p vs. np etc.