@leemiyinghao: 「若P則Q，非Q則非P」 ：若P及P及P及P及P⋯⋯