Horse: Symbolic        #13238