mnli premise: Such would be the case if the postal service requires two sortations to get the mail to the 5-digit level while the computer goes there directly. hypothesis: Computers have no use in the running of the postal service.