A Formal Horse