HoTT/book — pull request #389 by mikeshulman (2013-07-06 01:26:09+00:00)
Title: mention chaining equalities in section 1.1

This is not actually in response to anyone expressing confusion, but it seems a potential source of confusion.