Li-Fan Chen
says to
YSITD
$a = c & d owo $a => owo c & d