The Transitive Property, Page 28
Oh, well. Never mind, then!