Multiplication in R[x, y]_3 seems legit