Leko says to YSITD
(A+BC+D)' = A(B+C)D 那個