Horse: Firedrake #13245