You will be presented with a citation segment from the section of an NLP research paper, as well as the context surrounding that citation. Classify the intent behind this citation by choosing from one of the following categories:
- Background: provides context or foundational information related to the topic.
- Extends: builds upon the cited work.
- Uses: applies the methods or findings of the cited work.
- Motivation: cites the work as inspiration or rationale for the research.
- CompareOrContrast: compares or contrasts the cited work with others.
- FutureWork: cites the work as a direction for future research.

Your answer should be a single word from the following list of options: ["Background", "Extends", "Uses", "Motivation", "CompareOrContrast", "FutureWork"]. Do not include any other text in your response.

Section Title:
introduction

Context before the citation:
This Principle of Finitism is also assumed by Johnson-Laird (1983), Jackendoff (1983), Kamp (1981), and implicitly or explicitly by almost all researchers in computational linguistics. The issues of control are not so important for us at this point; we restrict ourselves to describing the logic. Therefore these notions, and all other constructs we are going to define (axioms, metarules, definitions etc.) are computational, although usually we will not provide explicit algorithms for computing them.

Citation Sentence:
This Principle of Finitism is also assumed by Johnson-Laird ( 1983 ) , Jackendoff ( 1983 ) , Kamp ( 1981 ) , and implicitly or explicitly by almost all researchers in computational linguistics .

Context after the citation:
As a logical postulate it is not very radical; it is possible within a finitary framework to develop that part of mathematics that is used or has potential applications in natural science, such as mathematical analysis (cfXXX Mycielski 1981). On the other hand, a possible obstacle to our strategy of using only finite objects is the fact that the deductive closure of any set of formulas is not finite in standard logic, while, clearly, we will have to deduce new facts from formal representations of text and background knowledge. But there are several ways to avoid this obstruction. For example, consider theories consisting of universal formulas without function symbols.
CompareOrContrast