's marginalia: post #8532