>>973
平行的な別ルートの議論
双対的な逆ルートに議論（一般→特殊、特殊→一般、等）
を探す


具体的なインスタンスを生成してみる
前提とされてる条件、仮定、公理をピントのように緩めたり絞ったり