a water softener is a device that removes minerals from water