3x → 3*x