Title: Equivalential Universal Horn Theories