KSR事件後の自明性に関する展開