Logic

Consider: Either the file is local or it is archived. The file is not local. Therefore, it is archived. The premises are true, and the stated disjunction allows either option but not both. How should the argument be classified?