Talk:3x + 1 semigroup