The issue in Figure 1 encodes a non-transitive informational dependency that is expressible in Hambl...