You will be presented with a citation segment from the section of a research paper. Classify the intent behind this citation by choosing from one of the following categories:

- Method: Cites the paper for its methodology or procedure.
- Background: Cites the paper to provide background information.
- Result: Cites the paper for its findings or results.

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

Citation sentence:

The use of bisimilarity in this context is particularly attractive because, as essentially shown in (Hennessy and Milner, 1985), bisimilarity provides an abstraction technique that preserves the truth and falsehood of any formula expressed in the μ-calculus (Kozen, 1983), and hence all CTL∗ (Dam, 1994), CTL (Clarke and Emerson, 1981; McMillan, 1993), and LTL (Pnueli, 1977)
Background