「仮題から導出される一つの帰結」ってなんなんだ…