The Transitive Property, Page 31
And speaking of awkward...