  We determine all F,G in C[X] of degree at least 2 for which the semigroup
generated by F and G under composition is not the free semigroup on the letters
F and G. We also solve the same problem for F,G in X^2 C[[X]], and prove
partial analogues over arbitrary fields.
