Jasper Yu
says to
YSITD
b-L a-L -> L b-D a-D -> D