This applet shows how elements of the free commutative monoid on two generators generate a submonoid.