pages / proof / 9/declarations/derived
release 9 is not the newest: the answer is read from the chain's deltas (added in release 9); the inclusion proof is served for the newest release
added in release 9