Li-Fan Chen says to YSITD
我們可以保證 privB 只有 B 有