Q11、何やってる処理なのかもよくわかってないままDisjunctionStepを見てそのまま書いてたw