[firedrake] Need guidance regarding firedrake (wave equation)