Sean Wei says to YSITD
我也想過 但想不出怎麼表示全域機率、重疊機率