The reaction Ba(NO3)2(aq) + Na2SO4(aq) >> 2NaNO3(aq) + BaSO4(s) goes to completion because a
1. gas is formed
2. precipitate is formed
3. unionized product is formed
4. soluble salt is formed