Before revision:  Finally, we extend our calculus to conditionally elicitable properties, which are elicitable conditioned on knowing the value of another property, giving a necessary condition for the elicitability of both properties together .
After revision:  We then show how some of these bounds can extend to other practical classes of properties, and conclude with a discussion of open directions .