Horne Clause

.