hey guys, thinking of spreading the aquarist hobby by starting a planted terrarium in my f6 classroom we wanna set up a terrarium with terrapins. so i was thinking, what kind of plants would be suitable? java ferns? or will the terrapins guzzle em up? And what about the substrate? will fine gravel work?