This is in reference to the "Post correspondence problem" Clearly, for any set of dominos, the state space has no cycles, since adding another domino always makes the top and bottom strings longer. However, for some sets of dominoes, the state space may not be a tree. Give an example of a set of dominoes