Hydrated lime vs pickling lime