both RHS should be copied