Jasper Yu says to YSITD
A p B A p C B might not p C