mnli premise: Texas Instruments thirty thousand people in the whole area right and then my building inside it's fairly large and there's no reason for me to have to go from point A to point B in an hour and a half hypothesis: Texas Instruments has less than a thousand people in the area.