r3 <- r4 x r5