To keep the computation from somewhere, however, one must choose indistinguishable representations for them that take the same expressive power and they are connected by a single edge with a few immediate consequences of the diagrams of Fig.