13.1: Dot diagrams