Li-Fan Chen says to YSITD
koru - koru = koru koru / 0 = koru