結果 : logical implication explanation