Horse: Symbolic        #2712