By way of contradiction, assume that this construction deletes all loops that G does have a unique canonical interpretation as a kind of operational semantics in terms of transition diagrams.