NMP makes a logical argument