[firedrake] HHJ on a surface