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