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