Context refinement and the Frauchiger–Renner example

This section gives a finite observational-context calculation, related to the context discussion of Cheung EnterCalculus and the scenario of Frauchiger and Renner FrauchigerRenner. It is not used in primitive characterization.