Lots of design constraints with the implication graph, and an ill-fated attempt at a reader (written prior to the design constraints).