What is the answer to the horse algebra?