Over the top of the soil, but being careful to leave the plants exposed, he adds a good layer of gravel that will keep fish and, in particular, koi fish, from disturbing the soil and making the pond water murky.