what’s a mixer?