How a water softener works