NOT $PUMP (NP)