Horse: Firedrake        #13245