Horse: Solanos Theorem        #14900