Key points are not available for this paper at this time.
We prove that the curved Ovsienko--Redou operators and a related family of differential operators are formally self-adjoint. This verifies two conjectures of Case, Lin, and Yuan.
Case et al. (Wed,) studied this question.