[firedrake] Second derivatives

Hi everyone, Is it possible to do second derivatives? What I mean by that is things like div[grad[u]] and grad[grad[u]]. I haven't tried this out yet, but we use these discretizations a lot for our research, and FEniC's inability to do this made us sad (although our more major qualms had to do with its inability to support quads). Thanks, Justin