To be clear least some reader draw the wrong conclusion. Ag lime goes in the pond. You can put lime rock/gravel in the pond but it will not have the same alkalinity effect as ag lime. Rock take years to dissolve in acid waters while ag lime starts upon contact and dissolves and is absorbed in mths (like a bell curve). Lime rock is good for other reasons including crustacean and fish growth.