Li-Fan Chen
says to
YSITD
if c x y = c*x + not(c)*y