最後のは、例の公式の後日談ですよね