Li-Fan Chen
says to
YSITD
(a,b) . (c,d) = (ac,bd)