$E: y^2 + y = x^3 - x^2 - 10x - 20$ (LMFDB label: 11.a2)
$E: y^2 + y = x^3 - 7$ (LMFDB label: 27.a3)
APPROVED (2026-09-14): [s10-m01] Keep "quaternion algebra". Contact-sheet verdict: APPROVED; no note supplied.
NEEDS APPROVAL (2026-09-14): [s10-m02] Recommendation: Change the second label and the title suffix to 27.a3, and link to https://www.lmfdb.org/EllipticCurve/Q/27/a/3; keep y^2+y=x^3-7. C22:L277 itself gives the mismatched 27.a2 label, so the visible transcription awaits the author. Checked the official LMFDB 27.a3 equation [0,0,1,0,-7].
PROPOSED (2026-09-14): [s10-m03] Recommendation: Use "Two universal examples: non-CM and CM" as the title, with "universal" referring to the characteristic-zero dichotomy. C22:L246-261 distinguishes CM and non-CM, and L268-289 supplies the two examples. The wording remains an author decision under s10-c01; no claim of identical reduction behavior within each class is added.